1. Iterated inductive definitions and subsystems of analysis: recent proff-theoretical studies
پدیدآورنده: )by( Wilfreid Buchholz )et al(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
